
#ifndef  __OS_MUTEX_H__
#define  __OS_MUTEX_H__

#include "sys_cfg.h"
#include "sys_port.h"
#include "sys_printk.h"

int os_mutex_create(void* mutex, void* para);
int os_mutex_destroy(void* mutex);
int os_mutex_lock(void* mutex);
int os_mutex_unlock(void* mutex);



#endif


